81. Theory of computation
پدیدآورنده : Brainerd, Walter S
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Sequential machine theory,، Recursive functions,، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
B68
82. Theory of formal systems
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Recursive functions,، Mathematics
رده :
QA
1
.
A626
no
.
47
83. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
موضوع : ، Recursive functions,، Computable functions
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
84. Theory of recursive functions and effective computability
پدیدآورنده : Rogers, Hartley
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
248
.
5
.
R6
85. Theory of recursive functions & effective computability
پدیدآورنده : ROGERS,HARTLEY
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : RECURSIVE FUNCTIONS
رده :
QA
248
.
5
.
R6
86. معرفی بازگشتی نظریه محاسبات
پدیدآورنده : / تالیف کارل اسمیت,عنوان اصلی: A recursive introduction to the theory of computation, 1994.,اسمیت,Smith
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع : برنامهنویسی,Computer programming,توابع بازگشتی,Recursive functions, -- دادهپردازی, -- Data processing,a01,a03,a03
رده :
QA
۷۶
/
۶
/
الف
۴۷
م
۶ ۱۳۹۴